1561. The therory and practice of comiler witing
پدیدآورنده : / Jean- Paul tremblay and paul G. Sorenson
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computer-Programming,Compiling( Electronic computers)
رده :
QA
76
.
6
.
T734
1562. The unix programming environment
پدیدآورنده : KERNIGHAN,BRIAN W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : UNIX )COMPUTER FILE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
6
.
K495
1984
1563. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
1564. Theory of program structures:Schemes, Semantics, Verification
پدیدآورنده : Greinach, Sheila
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1565. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1566. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1567. Title in Russian.
پدیدآورنده : Kutsyk
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming
رده :
QA
76
.
6
.
K876
1568. Top-down structured programming techniques
پدیدآورنده : McGowan, Clement L.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M318
1975
1569. Topics in interval analysis
پدیدآورنده : edited by E. Hansen,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
1570. Tutorial on software design techniques
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Programs
رده :
QA
76
.
6
.
T88
1980
1571. Tutorial on software design techniques: October 12, 1976, San Francisco, California
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
1572. Understanding WMI scripting /
پدیدآورنده : Alain Lissoir.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Microsoft Windows (Computer file),Microsoft Windows (Computer file),Operating systems (Computers),Programming languages (Electronic computers),COMPUTERS-- Operating Systems-- DOS.,COMPUTERS-- Operating Systems-- Macintosh.,COMPUTERS-- Operating Systems-- Windows Server & NT.,COMPUTERS-- Operating Systems-- Windows Workstation.,COMPUTERS-- System Administration-- Windows Administration.,Operating systems (Computers),Programming languages (Electronic computers)
رده :
QA76
.
76
.
O63
L5548
2003eb
1573. Understanding programming: an introduction using C++
پدیدآورنده : Cannon, Scott R.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، C++ )Computer program language(,، Electronic digital computers- Programming
رده :
QA
76
.
73
.
C153
C35
1574. Unix systems programming
پدیدآورنده : / Keith Frank Haviland
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Unix (Computer operating system),Electronic digital computers programming
رده :
QA
76
.
73
.
O63H38
1987
1575. Use of digital computers for engineering applications
پدیدآورنده : Haberman, Charles M
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Engineering,، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
TA
343
.
H3
1576. Use of files
پدیدآورنده : Judd, Denis Onan
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing,، Electronic-- Digital computers-- Programming
رده :
QA
76
.
J83
1577. Using computers and application software
پدیدآورنده : / Lon Ingalsbe
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic digital computers,Microcomputers- Programming,Application software,Lotus 1-2-3 (Computer file),dBase III,dBase III plus (Computer file),WordPerfect (Computer file)
رده :
QA76
.
5
.
I443
1989
1578. Using formal description techniques
پدیدآورنده : / edited by Kenneth J. Turner
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
1579. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
پدیدآورنده : edited by Kenneth J. Turner
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
1580. Using the IBM 1130
پدیدآورنده : Bork , Alfred M
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، IBM 0311 ) Computer(,، Electronic digital computers- Programming,، FORTRAN )computer program language(
رده :
QA
.
76
.
8
.
I125
B61
